Compiler optimizations - PDFSEARCH.IO - Document Search Engine

Compiler optimizations
Results: 530

#	Item
281	Experience with the SETL Optimizer STEFAN M. FREUDENBERGER, JACOB T. SCHWARTZ, and MICHA SHARIR New York University The structure of an existing optimizer for the very high-level, set theoretically oriented programming Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:31:06 Data types Compiler optimizations Compiler construction Type theory Programming language implementation SETL Static single assignment form Mathematical optimization Common subexpression elimination Software engineering Computing Programming language theory
282	Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS–93–7–0 Add to Reading List Source URL: piumarta.com Language: English - Date: 2010-11-01 07:37:01 Compiler construction Programming language implementation Machine code Smalltalk Procedural programming languages Compiler optimizations Compiler Static single assignment form Eval Software engineering Computing Computer programming
283	Control-flow analysis ? ? ? ? Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-01-24 06:00:00 Computing Source code Unreachable code Dead code Property Dead code elimination C++11 Software engineering Computer programming Compiler optimizations
284	Part C Instruction scheduling Instruction scheduling character stream token stream Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-03-07 06:00:00 Central processing unit Compiler optimizations Hazard Instruction set Instruction scheduling CPU cache Cycles per instruction Instruction pipeline Computer architecture Computer hardware Computing
285	A Tuning Framework for Software-Managed Memory Hierarchies Manman Ren Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-09-16 13:24:23 Cache Computer performance Software optimization Cell CPU cache Lookup table Loop fusion Reuse Program optimization Computing Compiler optimizations Computer architecture
286	PROVING CORRECTNESS OF COMPILER OPTIMIZATIONS BY TEMPORAL LOGIC David Lacey (Oxford University) Neil D. Jones (University of Copenhagen) Eric Van Wyk (Oxford University) Carl C. Frederiksen (University of Copenhagen) Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-12-19 05:05:49 Logic Denotational semantics Logic in computer science Interpretation Compiler Symbol Natural deduction Μ operator Theoretical computer science Mathematical logic Model theory
287	Evaluating Support for Global Address Space Languages on the Cray X1 Christian Bell Wei-Yu Chen Computer Science Division Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2004-11-10 21:04:26 Central processing unit Computer memory Software optimization Unified Parallel C Cray X1 Cray Vectorization Vector processor Automatic parallelization Computing Parallel computing Compiler optimizations
288	Motivation Both human- and computer-generated programs sometimes contain data-flow anomalies. These anomalies result in the program being worse, in some sense, than it was intended to be. Data-flow analysis is useful in Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-02 06:00:00 Compiler optimizations Procedural programming languages Compiler construction Source code Data-flow analysis C Static single assignment form Dead code ALGOL 68 Software engineering Computing Programming language theory
289	Motivation Some expressions in a program may cause redundant recomputation of values. If such recomputation is safely eliminated, the program will usually become faster. There exist several redundancy elimination optimis Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-09 06:00:00 Computer programming Common subexpression elimination Regular expression Available expression Algorithm Assignment Redundant code Partial redundancy elimination Global value numbering Compiler optimizations Software engineering Computing
290	Allocation vs. scheduling We have seen why register allocation is a useful compilation phase: when done well, it can make the best use of available registers and hence reduce the number of spills to memory. Unfortunately Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-03-09 06:00:00 Instruction scheduling Compiler construction Central processing unit Register allocation Code generation Processor register Computer architecture Scheduling Software engineering Compiler optimizations Planning Computing

UPDATE